Books by author Ofer Strichman

Showing 1 – 5 out of 5 results

1. 

   Decision Procedures

   Daniel Kroening, Ofer Strichman | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2018

   
   

   In stock at our supplier - Shipping in 10 - 18 days

   Language: English

   Binding: Paperback

   35.01 €

   Buy
2. 

   Decision Procedures

   Daniel Kroening, Ofer Strichman | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2017

   
   

   In stock at our supplier - Shipping in 10 - 18 days

   Language: English

   Binding: Hardback

   47.83 €

   Sale 0 %

   You save 0.01 €

   Buy
3. 

   Hardware and Software: Verification and Testing

   Ofer Strichman, Rachel Tzoref-Brill | Springer International Publishing AG, 2017

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.56 €

   Sale 7 %

   You save 4.27 €

   Buy
4. 

   Decision Procedures

   Daniel Kroening, Ofer Strichman | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

   
   

   In stock at our supplier - Shipping in 10 - 18 days

   Language: English

   Binding: Hardback

   76.09 €

   Buy
5. 

   Theory and Applications of Satisfiability Testing - SAT 2010

   Ofer Strichman, Stefan Szeider | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010

   
   

   50/50 - We search the world

   Language: English

   Binding: Paperback

   57.22 €

   Buy

We send books in special cardboard delivery boxes. Find out more